Lógica Computacional

Licenciatura em Ciências da Computação - 2º ano

Cancel

Search: ^p

Education/LC Web	Changed	Changed by

Praticas0607	29 May 2007 - 10:39 - r9	JoseBacelarAlmeida
Aulas Práticas #Aula8P Aula 8: Predicados de Segunda Ordem Existem meta predicados que permitem coleccionar todas as soluções para um dado objectivo de prova (ver ...

Praticas0708	02 Jun 2008 - 22:41 - r17	JoseBacelarAlmeida
Aulas Práticas #Aula9P Aula 9: Implementação do algoritmo Davis Putnam em Prolog. Pretende se definir um programa que permita verificar se uma dada fórmula é uma ...

Praticas0809	29 May 2009 - 23:07 - r13	JoseBacelarAlmeida
Aulas Práticas #Aula10P Aula 10: Predicados de Segunda Ordem e outros predicados primitivos disponibilizados pelo Prolog Predicados de segunda ordem Existem meta ...

ProgDetalhado0607	04 Jul 2007 - 18:16 - NEW	JoseBacelarAlmeida
Programa detalhado do ano lectivo 2006/2007 Lógica Proposicional Sintaxe e Semântica Sistemas Dedutivos Dedução Natural ...

ProgDetalhado0708	11 Jun 2008 - 22:07 - NEW	JoseBacelarAlmeida
Programa detalhado do ano lectivo 2007/2008 Lógica Proposicional Sintaxe e Semântica Sistemas Dedutivos Dedução Natural ...

ProgDetalhado0809	18 Jun 2009 - 22:10 - r2	JoseBacelarAlmeida
Programa detalhado do ano lectivo 2008/2009 Lógica Proposicional Sintaxe e Semântica Sistemas Dedutivos Dedução Natural ...

Programa0506	03 Jul 2007 - 22:09 - r3	JoseBacelarAlmeida
Programa Resumido (2005/2006) Componente Teórica Lógica Proposicional Sintaxe Linguagens de Cláusulas Validade e Verificação ...

Programa0607	04 Jul 2007 - 18:17 - r3	JoseBacelarAlmeida
Programa Resumido Componente Teórica Lógica Proposicional Sintaxe e Semântica Sistemas Dedutivos Métodos de Verificação Aspectos ...

Programa0708	20 Feb 2008 - 15:22 - NEW	JoseBacelarAlmeida
Programa Resumido Componente Teórica Lógica Proposicional Sintaxe e Semântica Sistemas Dedutivos Métodos de Verificação Aspectos ...

Programa0809	18 Jun 2009 - 22:10 - r2	JoseBacelarAlmeida
Programa Resumido Componente Teórica Lógica Proposicional Sintaxe e Semântica Sistemas Dedutivos Métodos de Verificação Aspectos ...

Projectos0708	08 May 2008 - 22:56 - r3	JoseBacelarAlmeida
Propostas de Projectos Práticos 2007/2008 Esta página apresenta algumas ideias para projectos práticos da disciplina de Lógica Computacional. Os alunos interessados ...

Projectos0809	08 May 2009 - 02:24 - r2	JoseBacelarAlmeida
Projecto O objectivo deste projecto é o de explorar o demonstrador de teoremas COQ para realizar provas simples. Sugere se que os interessados realizem os exemplos ...

Found 12 topics.

Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.

Syndicate this site RSS ATOM